Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
نویسندگان
چکیده
We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.
منابع مشابه
Verifying ANSI-C Context-Aware Applications Draft
We report on work in progress upon the verification of contextaware applications written in C-based languages. We recognize that context-aware programs are generally either middleware-based and multithreaded, or driven by asynchronous events, and focus on identifying the program points in which the contextual updates impact the application behaviour. Inheriting from related work on the validati...
متن کاملBug Hunting in Sensor Network Applications
Testing sensor network applications is an essential and a difficult task. Due to their distributed and faulty nature, severe resource constraints, unobservable interactions, and limited human interaction, sensor networks, make monitoring and debugging of applications strenuous and more challenging. In this paper we present KleeNet — a Klee based platform independent bug hunting tool for sensor ...
متن کاملContext-aware systems: concept, functions and applications in digital libraries
Background and Aim Among the places that context-aware systems and services would be very useful, are libraries. The purpose of this study is to achieve a coherent definition of context aware systems and applications, especially in digital libraries. Method: This was a review article that was conducted by using Library method by searching articles and e-books on websites and databases. Results:...
متن کاملTowards a Model Checker for NesC and Wireless Sensor Networks
Wireless sensor networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this work, we present an automatic approach to directly verify WSNs built with TinyOS applications implemented in the NesC language. To achieve this target, we firstly define a set of formal operational se...
متن کاملBuilding Context-Aware Healthcare Applications using a Generative Programming Framework
Developing context-aware applications is a tedious task which requires interfacing with different kinds of environmental sensors, new programming models, and extensive middleware support in the form resource discovery services, context management services, and context-based authorization services. We have developed a programming framework for building context-aware applications from their high-...
متن کامل